3001. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
3002. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
3003. Seminar on Concurrency :
پدیدآورنده : edited by Stephen D. Brookes, Andrew William Roscoe, Glynn Winskel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Programming Techniques
رده :
QA76
.
6
E358
1985
3004. Semirings for soft constraint solving and programming
پدیدآورنده : Bistarelli, Stefano, 8691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2962
3005. Serial port complet
پدیدآورنده : / Jan Axelson
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer interfaces.,Ports (Electronic computer system),Parallel programming (Computer science)
رده :
TK
,
7887
.
5
,.
A95
,
2007eb
3006. Serial port complete :
پدیدآورنده : Jan Axelson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer interfaces.,Parallel programming (Computer science),Ports (Electronic computer system)
رده :
TK7887
.
5
J363
2007
3007. Serial port complete
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Ports (Electronic computer system) ; Computer interfaces ; Standards ; United States. ; Parallel programming (Computer science) ; USB (Computer bus) ; Embedded computer systems. ; COM (Computer architecture) ;
3008. Serial port complete :
پدیدآورنده : Jan Axelson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer interfaces.,Parallel programming (Computer science),Ports (Electronic computer system)
3009. Serious ADO
پدیدآورنده : Rob Macdonald.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : ActiveX.,Internet programming.,Object-oriented programming (Computer science),System design.,Visual Basic (Computer program language)
3010. Server programming APIs: NSAPI and ISAPI extensions
پدیدآورنده : Haddad, Christopher
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Internet programming,، Web servers,، Memory management )Computer science(
رده :
QA
76
.
625
.
H23
1997
3011. Seven concurrency models in seven weeks
پدیدآورنده : by Paul Butcher
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer multitasking,Parallel programming (Computer science)
رده :
QA76
.
642
.
B883
2014
3012. Shaders for game programmers and artist
پدیدآورنده : / Sebastien St-Laurent
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer games--Programming,Object-oriented programming (Computer science)
رده :
QA
,
76
.
74
,.
S75
,
2004eb
3013. SharePoint apps with LightSwitch
پدیدآورنده : Paul Ferrill
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development,Intranets (Computer networks),Visual programming (Computer science)-- Computer programs
رده :
QA76
.
65
.
F47
2012
3014. Shared memory application programming :
پدیدآورنده : Victor Alessandrini
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Programming,Parallel programming (Computer science)
رده :
QA76
.
76
.
A65
3015. Shared memory parallel programming with OpenMP :
پدیدآورنده : Barbara M. Chapman (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel programming (Computer science), Congresses
رده :
QA76
.
642
.
I589
2004
3016. Shared memory parallel programming with OpenMP : 5th International Workshop on OpenMP Applications and Tools, WOMPAT 2004, Houston,TX, USA, May 17-18, 2004 : revised selected papers
پدیدآورنده : Barbara M. Chapman )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3349
3017. Shared-memory parallelism can be simple, fast, and scalable /
پدیدآورنده : Julian Shun.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel computers-- Programming.,Parallel programming (Computer science),Parallel computers-- Programming.,Parallel programming (Computer science)
رده :
QA76
.
642
.
S587
2017
3018. Shell Conference )1988: Amsterdam, Netherlands( Parallel computing, 1988/Shell Conference, Amsterdam, the Netherlands, June 1-2, 1988. Proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Paralles programming )Computer science(-- Congresses
رده :
QA
76
.
6
.
S539
1988
3019. Simulated evolution and learning
پدیدآورنده : Kalyanmoy Deb ... [et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer simulation, Congresses.,Evolutionary programming (Computer science), Congresses.
3020. Simulated evolution and learning
پدیدآورنده : / Tzai-Der Wang ... [et al.] (eds.)
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer simulation Congresses,Evolutionary programming (Computer science) Congresses,Artificial intelligence Congresses
رده :
QA76
.
9
.
C65
,
S42
2006
